Nuprl Definition : sq_exists
2,24
postcript
pdf
x
:
A
.
B
(
x
) == {
x
:
A
|
B
(
x
) }
latex
FDL editor aliases
sq_exists
origin
x:A. B(x) == {x:A| B(x) } x:A. B(x) == {x:A| B(x) }